21. Computability & unsolvability
پدیدآورنده: DAVIS,MARTIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
رده :
QA
9
.
615
.
D38
1982
22. Die Löwen-Liga :
پدیدآورنده: martin Sänger, Peter Buchenau, Zach Davis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Relationship marketing.,Selling.,Success in business.
23. Differential and integral calculus
پدیدآورنده: by Edmund Landau; translated from the German by Melvin Hausner and Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Calculus
رده :
QA
303
.
L2513
1960
24. Differential and integral calculus
پدیدآورنده: Landau, Edmund,7781-8391., by Edmund Landau. Translated from the German by Melvin Hausner and Martin Davis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Calculus
رده :
QA
303
.
L254
25. Dissent
پدیدآورنده: / edited by Martin Blatt, Uri Davis, Paul Kleinbaum; introduction by Noam Chomsky
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: م‍خ‍ال‍ف‍ان ج‍ن‍گ -- اس‍رائ‍ی‍ل -- خ‍اطرات ش‍خ‍ص‍ی,ص‍ه‍ی‍ون‍ی‍س‍م -- دف‍اع‍ی‍ه‌ه‍ا و ردی‍ه‌ه‍ا
رده :
UB
۳۴۲
/
الف
۵
د
۹ ۱۳۵۴
26. From Linear Operators to Computational Biology
پدیدآورنده: / Martin Davis, Edmond Schonberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
27. Hilbert's tenth problem
پدیدآورنده: Yuri V. Matiyasevich; with a foreword by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Hilbert's tenth problem,، Computable functions
رده :
QA
242
.
M25D413
28. Il calcolatore universale :
پدیدآورنده: Martin Davis ; traduzione di Gianni Rigamonti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calcolo automatico-- Storia,Elaboratori elettronici-- Storia
29. Il calcolatore universale :
پدیدآورنده: Martin Davis ; traduzione di Gianni Rigamonti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calcolo automatico-- Storia,Elaboratori elettronici-- Storia
30. Implementation of a Collaborative HIV and Hepatitis C Screening Program in Appalachian Urgent Care Settings
پدیدآورنده: Burrell, Carmen N.; Sharon, Melinda J.; Davis, Stephen M.; Wojcik, Elena M.; Martin, Ian B.K.,Burrell, Carmen N.; Sharon, Melinda J.; Davis, Stephen M.; Wojcik, Elena M.; Martin, Ian B.K.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
31. Improving patient care :
پدیدآورنده: edited by Richard Grol, Michel Wensing, Martin Eccles and David Davis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Health care reform,Health Care Reform,Patient Care,Quality of Health Care,Health Care Reform,Medicine,Patient Care,Quality of Health Care
رده :
RA394
32. John Calvin /
پدیدآورنده: by Thomas J. Davis ; introductory essay by Martin E. Marty.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calvin, Jean,1509-1564,Calvin, Jean,Calvin, Jean,1509-1564.,Reformation-- Switzerland-- Geneva, Biography, Juvenile literature.,Reformation.,Switzerland, Geneva., 7
رده :
BX9418
.
D32
2005
33. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
34. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
35. Na logički pogon :
پدیدآورنده: Martin Davis; [prijevod Ljerka Vukić i Ognjen Strpić].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: računalniki -- matematična logika -- zgodovinski pregledi -- Leibnit -- Boolejeva logika -- simbolična logika -- teorija množic -- Turnigovi stroji -- pregledno delo
36. Practical injection molding
پدیدآورنده: / Bernie A. Olmsted, Martin E. Davis
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Injection molding of plastics
رده :
TP1150
.
O47
2001
37. Significant disability :
پدیدآورنده: edited by E. Davis Martin, Jr. ; with a foreword by John S. Oehler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: People with disabilities-- Government policy-- United States.,People with disabilities-- Mental health-- United States.,People with disabilities-- Rehabilitation-- United States.,Social work with people with disabilities-- United States.,Sociology of disability-- United States.,Disabled Persons-- United States.,Health Policy-- United States.,Human Rights-- United States.,Rehabilitation-- United States.,Social Support-- United States.,People with disabilities-- Government policy.,People with disabilities-- Mental health.,People with disabilities-- Rehabilitation.,SOCIAL SCIENCE-- People with Disabilities.,Social work with people with disabilities.,Sociology of disability.,United States., 7
رده :
HV1553
.
S555
2001
38. #Solvability, provability, definability
پدیدآورنده: #Martin Davis, editor
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Post, Emil Leon,- 1897-1954 ،Logic, Symbolic and mathematical
رده :
#
QA
،#.
P78
،#
1994
39. Solvability, provability, definability :
پدیدآورنده: Martin Davis, editor
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Post, Emil Leon,1897-1954,Logic, Symbolic and mathematical
رده :
QA3
.
P78
1994
40. Solvability, provability definability : The collected works of Emil L. Post
پدیدآورنده: Martin Davis, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Post, Emil Leon, 7981-4591,، Logic, Symbolic and mathematical
رده :
QA
3
.
P68
